161. Languages and compilers for parallel computing : 7th International Workshop Ithaca, NY, USA, August 8 - 10, 1994 : proceedings
پدیدآورنده : K. Pingali...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
892
162. Languages and compilers for parallel computing : 8th International Workshop, LCPC'95, Columbus, Ohio, USA, August 10-12, 1995 : Proceedings
پدیدآورنده : C.-H. Huang...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1033
163. Languages and compilers for parallel computing : 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996 : Proceedings
پدیدآورنده : David Sehr...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1239
164. Languages and compilers for parallel computing : 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, revised papers
پدیدآورنده : Samuel P. Midkiff...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Compilers )Computer programs(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2017
165. Languages and compilers for parallel computing : 5th International Workshop , New Haven Connecticut, USA, August 3-5, 1992 : proceedings
پدیدآورنده : U. Banerjee...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
757
166. Languages and compilers for parallel computing : 6th International Workshop...1993 : proceedings
پدیدآورنده : Utpal Banerjee...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
768
167. Languages and compilers for parallel computing : 14th international Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : Revised papers
پدیدآورنده : Henry G. Dietz )Ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
2624
168. Languages and compilers for parallel computing : 16th international workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003; revised papers
پدیدآورنده : Lawrence Rauchwerger )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
2958
169. Languages and compilers for parallel computing : 5th international workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Parallel processing )Electronic computing(-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Compilers )Computer programs(-- Congresses
رده :
QA
76
.
58
.
L36
1993
170. Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers
پدیدآورنده : Sandhya Dwarkadas )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
1915
171. #Languages, compilers, and tools for embedded systems
پدیدآورنده : #Jack Davidson, Sang Lyul Min, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Embedded computer systems- Programming- Congresses ،Programming languages )Electronic computers(- Congresses ،Compilers )Computer programs(- Congresses
رده :
#
QA
،#.
A13
،#
2000
172. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
پدیدآورنده : Jack Davidson, Sang Lyul Min, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1985
173. Logic at Botik '89: symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Computers architecture,، Programming language )Electronic Computers(
رده :
QA
75
.
5
.
B67
1989
174. Logic, language, and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
175. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
176. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبانشناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
177. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
178. Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
L595
1984
179. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
پدیدآورنده : edited by Dexter Kozen
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
131
180. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
پدیدآورنده : Logics of Programs Workshop, )1891, Yorktown Heights, N.Y.(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
L594
1981